$\forall$$r$,$s$:b{-}union($\mathbb{Z}$; (:$\mathbb{Z}$ $\times$ int\_nzero)). qeq($r$; $s$) $\in$ $\mathbb{B}$